#ifndef XXK_CPU1_H
#define XXK_CPU1_H

#include "xil_io.h"
#include "xil_printf.h"


#define CPU1_STARTADDR 0xFFFFFFF0 // 控制CPU1启动寄存器的地址
#define CPU1_STARTMEM  0x20000000 // CPU1内存的开始地址


void StartCpu1(void);

#endif


